//#define CONFIG_WAVE
//#define CONFIG_WATCHPOINT
//#define CONFIG_FTRACE
//#define CONFIG_TRACE
#define CONFIG_IRINGBUF
//#define CONFIG_DTRACE
#define CONFIG_DIFFTEST
#define CONFIG_DEVICE
#define CONFIG_HAS_SERIAL
#define CONFIG_HAS_TIMER
#define CONFIG_HAS_VGA
#define CONFIG_HAS_KEYBOARD

//#define CONFIG_PERF
//#define CONFIG_PERF_FREQUENCE 100000

#define CONFIG_SERIAL_MMIO 	0xa00003f8
#define CONFIG_RTC_MMIO 		0xa0000048
#define CONFIG_VGA_CTL_MMIO 0xa0000100
#define CONFIG_FB_ADDR 0xa1000000
#define CONFIG_I8042_DATA_MMIO 0xa0000060
#define TIMER_HZ 60
